window: remove title_border
authorCosimo Cecchi <cosimoc@gnome.org>
Mon, 22 Apr 2013 15:22:37 +0000 (11:22 -0400)
committerCosimo Cecchi <cosimoc@gnome.org>
Mon, 22 Apr 2013 22:10:21 +0000 (18:10 -0400)
commit87922575d3fd6aecf73a72545abe90443a7ccce4
treece8c353a122b2266a49ad1fba2e77a63983febe1
parentca0a18918c4737327a47f8180f064084ae5a6af1
window: remove title_border

We don't actually need this additional title border.
gtk/gtkwindow.c